Forking in Short and Tame Aecs

We develop a notion of forking for Galois-types in the context of AECs. Under the hypotheses that an AEC K is tame, type-short, and failure of an order-property, we consider Definition 1. Let M0 ≺ N be models from K and A be a set. We say that the Gaois-type of A over M does not fork over M0, written A^ M0 N , iff for all small a ∈ A and all small N− ≺ N , we have that Gaois-type of a over N− is realized in M0. Assuming property (E) (see Definition 3.3) we show that this non-forking is a well behaved notion of independence, in particular satisfies symmetry and uniqueness and has a corresponding U-rank. We find conditions for a universal local character, in particular derive superstability-like property from little more than categoricity in a “big cardinal”. Finally, we show that under large cardinal axioms the proofs are simpler and the non-forking is more powerful.